Goto

Collaborating Authors

 apparent, inc.


Non-resolution Theorem Proving '

AI Classics

This talk reviews those efforts in automatic theorem proving, during the past few years, which have theory, very easy for the computer.


Adaptive Processes and Control

AI Classics

"... software technology has promulgated a series of A vital problem is the measurement of overall performance, failed promises....